(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_LRA)
(declare-fun v0 () Real)
(assert (let ((e1 1))
(let ((e2 (+ v0 v0)))
(let ((e3 (/ e1 e1)))
(let ((e4 (> v0 e2)))
(let ((e5 (< v0 e3)))
(let ((e6 (ite e5 e2 v0)))
(let ((e7 (ite e4 e3 e6)))
(let ((e8 (<= e2 e2)))
(let ((e9 (<= v0 e3)))
(let ((e10 (<= e3 e3)))
(let ((e11 (>= e7 e3)))
(let ((e12 (<= e6 v0)))
(let ((e13 (xor e4 e9)))
(let ((e14 (or e8 e12)))
(let ((e15 (= e5 e14)))
(let ((e16 (not e15)))
(let ((e17 (=> e16 e13)))
(let ((e18 (xor e10 e17)))
(let ((e19 (or e18 e18)))
(let ((e20 (and e19 e11)))
e20
)))))))))))))))))))))

(check-sat)
